DEF=deposit
EXT=deposit
TESTDIR=.
KOMPILE_BACKEND=haskell
KRUN_FLAGS=--smt none -cTREEHEIGHT=3

include ../../../../../include/kframework/ktest.mak
